Cytologische untersuchungen an tumoren mit unterschiedlichem klinischen verhalten

Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten

In diesem Beitrag wird eine Methode zur Generierung von Testfällen aus modellbasierten Verhaltensspezifikationen vorgestellt, wobei auch die Spezifikation von parallelem Verhalten unterstützt wird. Zur Realisierung werden etablierte Verfahren der Petri-Netz-Theorie und der constraintbasierten Programmierung benutzt. Auf der Grundlage eines entwickelten einfachen farbigen Petri-NetzModells (SPeN...

Ansatz zur Metamodellierung mit Verhalten und dessen Anwendungen

Metamodellierung bietet ein adäquates Mittel für die Definition verschiedenster Artefakte in Softwareentwicklungsprojekten. Um eine vollständige, ausführbare Spezifikation von Softwaresystemen und Plattformen zu erhalten, bedarf es Metamodellen mit Verhaltensbeschreibungen. Im Rahmen dieses Forschungsvorhaben werden verschiedene Erweiterungen der Meta Object Facility (MOF) der Object Management...

Strategisches Verhalten in Systemen mit Interaktions- und Kontaktwahl

Volumenerhaltende elastische Registrierung. Evaluierung mit klinischen MR-Mammographien

Ergebnisse der klinischen Erprobung der Operationszugangsplanung mit NeurOPS

Zusammenfassung: Bildgebende Systeme liefern dem Neurochirurgen eine Fülle von Bildmaterial mit ständig steigender Qualität, deren praktischer Nutzen für die Operation und deren Planung nur selten hinterfragt wird [5]. Der klinische Einsatz einer computergestützten Planung wird vor allem durch den notwendigen Zeitaufwand zur Rekonstruktion, weniger bei der Planung selbst, behindert. Das Program...